Building Web Based Programming Environments for Functional Programming

Functional programming offers an accessible and powerful algebraic model for computing. JavaScript is the language of the ubiquitous Web, but it does not support functional programs well due to its single-threaded, asynchronous nature and lack of rich control flow operators. The purpose of this work is to extend JavaScript to a language environment that satisfies the needs of functional programs on the Web. This extended language environment uses sophisticated control operators to provide an event-driven functional programming model that cooperates with the browser\u27s DOM, along with synchronous access to JavaScript\u27s asynchronous APIs. The results of this work are used toward two projects: (1) a programming environment called WeScheme that runs in the web browser and supports a functional programming curriculum, and (2) a tool-chain called Moby that compiles event-driven functional programs to smartphones, with access to phone-specific features

Alchemy: Transmuting Base Specifications into Implementations

Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent databases. Alchemy translates a subset of Alloy predicates into imperative update operations, and it converts facts into database integrity constraints that it maintains automatically in the face of these imperative actions. In addition to presenting the semantics and an algorithm for this compilation, we present the tool and outline its application to a non-trivial specification. We also discuss lessons learned about the relationship between Alloy specifications and imperative implementations

A novel potential/viscous flow coupling technique for computing helicopter flow fields

Because of the complexity of helicopter flow field, a zonal method of analysis of computational aerodynamics is required. Here, a new procedure for coupling potential and viscous flow is proposed. An overlapping, velocity coupling technique is to be developed with the unique feature that the potential flow surface singularity strengths are obtained directly from the Navier-Stokes at a smoother inner fluid boundary. The closed-loop iteration method proceeds until the velocity field is converged. This coupling should provide the means of more accurate viscous computations of the near-body and rotor flow fields with resultant improved analysis of such important performance parameters as helicopter fuselage drag and rotor airloads

Xenopus Drf1, a Regulator of Cdc7, Displays Checkpoint-dependent Accumulation on Chromatin during an S-phase Arrest

We have cloned a Xenopus Dbf4-related factor named Drf1 and characterized this protein by using Xenopus egg extracts. Drf1 forms an active complex with the kinase Cdc7. However, most of the Cdc7 in egg extracts is not associated with Drf1, which raises the possibility that some or all of the remaining Cdc7 is bound to another Dbf4-related protein. Immunodepletion of Drf1 does not prevent DNA replication in egg extracts. Consistent with this observation, Cdc45 can still associate with chromatin in Drf1-depleted extracts, albeit at significantly reduced levels. Nonetheless, Drf1 displays highly regulated binding to replicating chromatin. Treatment of egg extracts with aphidicolin results in a substantial accumulation of Drf1 on chromatin. This accumulation is blocked by addition of caffeine and by immunodepletion of either ATR or Claspin. These observations suggest that the increased binding of Drf1 to aphidicolin-treated chromatin is an active process that is mediated by a caffeine-sensitive checkpoint pathway containing ATR and Claspin. Abrogation of this pathway also leads to a large increase in the binding of Cdc45 to chromatin. This increase is substantially reduced in the absence of Drf1, which suggests that regulation of Drf1 might be involved in the suppression of Cdc45 loading during replication arrest. We also provide evidence that elimination of this checkpoint causes resumed initiation of DNA replication in both Xenopus tissue culture cells and egg extracts. Taken together, these observations argue that Drf1 is regulated by an intra-S-phase checkpoint mechanism that down-regulates the loading of Cdc45 onto chromatin containing DNA replication blocks